Optimization Modulo Theories with Linear Rational Costs

机译：具有线性理性成本的优化模理论

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Roberto Sebastiani; Silvia Tomasi;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Optimization Modulo Theories with Linear Rational Costs [J] . Sebastiani Roberto, Tomasi Silvia ACM transactions on computational logic . 2015,第2期

机译：具有线性有理成本的优化模理论
2. Vibrational self-consistent field theory using optimized curvilinear coordinates [J] . Bulik Ireneusz W., Frisch Michael J., Vaccaro Patrick H. The Journal of Chemical Physics . 2017,第4期

机译：使用优化的曲线坐标振动自洽的场理论
3. Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers [J] . Trentin Patrick, Sebastiani Roberto Journal of Automated Reasoning . 2021,第7期

机译：优化模数符号位向量和浮点数的理论
4. Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions [C] . R. Sebastiani, P. Trentin International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software . 2015

机译：用线性算术成本函数推动优化模理论的包络
5. Use of particle swarm optimization algorithm to reduce drilling costs by finding optimal operational parameters. [D] . Self, Ryan. 2016

机译：通过寻找最佳运行参数，使用粒子群优化算法来降低钻井成本。
6. Generalized Vibrational Perturbation Theory for Rotovibrational Energies of Linear Symmetric and Asymmetric Tops: Theory Approximations and Automated Approaches to Deal with Medium-to-Large Molecular Systems [O] . Matteo Piccardo, Julien Bloino, Vincenzo Barone -1

机译：线性对称和不对称陀螺的旋转振动的广义振动摄动理论：处理中到大型分子系统的理论逼近和自动方法
7. Optimization Modulo Theories with Linear Rational Costs [O] . Tomasi, Silvia 2014

机译：具有线性有理成本的优化模理论
8. Studies in Support of the Application of Statistical Theory to Design and Evaluation of Operational Tests. Annex B. An Application of Multiple Response Surface Optimization to the Analysis of Training Effects in Operational Test and Evaluation. [R] . Bettencourt, V. M. 1975

机译：支持统计理论在操作测试设计与评估中的应用研究。附件B.多响应面优化在运行测试和评估中训练效果分析中的应用。

Optimization Modulo Theories with Linear Rational Costs

著录项

引文网络

相似文献

相关主题

期刊订阅